Merge branch 'man-page-improvement' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Sat, 3 Jul 2021 19:51:39 +0000 (19:51 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Sat, 3 Jul 2021 19:51:39 +0000 (19:51 +0000)
docs: Improve the gtk4-launch man page

Closes #4081

See merge request GNOME/gtk!3723


Trivial merge